Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
121	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation
122	Query Optimization for Semistructured Data using Path Constraints in a Deterministic Data Model Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Theoretical computer science Operations research Logic in computer science Mathematical optimization Rewriting Mathematics
123	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
124	Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-08-20 23:21:44 Logic Mathematics Philosophy Logic in computer science Automated theorem proving Formal sciences Formal methods Mathematical logic Proof theory Automated reasoning Formal epistemology Foundations of mathematics
125	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus
126	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
127	Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-01 20:00:33 Theoretical computer science PP Quantum complexity theory Boolean algebra Mathematics Numerical software Logic in computer science Bayesian network PROPT
128	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
129	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution
130	What can a philosopher and logician do for your enterprise? v. 3, A series of un-ordered top ten lists with brief, non-exhaustive annotations to answer the question above follows. Top ten skills concerning philosophy in Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-11-11 18:49:37 Logic Philosophy Science Formal sciences Belief Thought Computability theory Theoretical computer science Mathematical logic Argument ChurchTuring thesis Computation

UPDATE